is the sqrt{2} in the rationals?